Using Analogical Representations for Mathematical Concept Formation
نویسندگان
چکیده
We argue that visual, analogical representations of mathematical concepts can be used by automated theory formation systems to develop further concepts and conjectures in mathematics. We consider the role of visual reasoning in human development of mathematics, and consider some aspects of the relationship between mathematics and the visual, including artists using mathematics as inspiration for their art (which may then feed back into mathematical development), the idea of using visual beauty to evaluate mathematics, mathematics which is visually pleasing, and ways of using the visual to develop mathematical concepts. We motivate an analogical representation of number types with examples of “visual” concepts and conjectures, and present an automated case study in which we enable an automated theory formation program to read this type of visual, analogical representation.
منابع مشابه
Extending Analogical Generalization with Near-Misses
Concept learning is a central problem for cognitive systems. Generalization techniques can help organize examples by their commonalities, but comparisons with non-examples, near-misses, can provide discrimination. Early work on near-misses required hand-selected examples by a teacher who understood the learner’s internal representations. This paper introduces Analogical Learning by Integrating ...
متن کاملAnalogical Word Sense Disambiguation
Word sense disambiguation is an important problem in learning by reading. This paper introduces analogical word-sense disambiguation, which uses human-like analogical processing over structured, relational representations to perform word sense disambiguation. Cases are automatically constructed using representations produced via natural language analysis of sentences, and include both conceptua...
متن کاملIncorporating Explanation-Based Generalization with Analogical Reasoning
The EBG system builds an explanation and learns a concept de nition as its generalization provided a domain theory is complete. It does not work when a domain theory is incomplete. Then we introduce a notion of generalizations by an analogy which makes it possible to construct rules necessary for domain theories. Furthermore, we develop EBG by analogical reasoning which copes with the incomplet...
متن کاملCombining progressive alignment and near-misses to learn concepts from sketches
Learning to classify examples as concepts is an important challenge for cognitive science. In cognitive psychology analogical generalization, i.e., abstracting the common structure of highly similar examples, has been shown to lead to rapid learning. In AI, providing very similar negative examples (near-misses) has been shown to accelerate learning. This paper describes a model of concept learn...
متن کاملProbability and Fuzzy Logic in Analogical Reasoning
Analogical Reasoning (AR) is a method of processing information that compares the similarities between new and past understood concepts, then using these similarities to gain understanding of the new concept. In this work we develop two mathematical models for the description of the process of AR: A stochastic model by introducing a finite ergodic Markov chain on the steps of the AR process and...
متن کامل